$x$ $<<$= $y$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$ $<<$ $y$ $\vee$ ($x$ = $y$)